Design-Time Quantification of Integrity in Cyber-Physical-Systems

In a software system it is possible to quantify the amount of information that is leaked or corrupted by analysing the flows of information present in the source code. In a cyber-physical system, information flows are not only present at the digital level, but also at a physical level, and to and fro the two levels. In this work, we provide a methodology to formally analyse a Cyber-Physical System composite model (combining physics and control) using an information flow-theoretic approach. We use this approach to quantify the level of vulnerability of a system with respect to attackers with different capabilities. We illustrate our approach by means of a water distribution case study

Genome-wide structural variant analysis identifies risk loci for non-Alzheimer’s dementias

We characterized the role of structural variants, a largely unexplored type of genetic variation, in two non-Alzheimer’s dementias, namely Lewy body dementia (LBD) and frontotemporal dementia (FTD)/amyotrophic lateral sclerosis (ALS). To do this, we applied an advanced structural variant calling pipeline (GATK-SV) to short-read whole-genome sequence data from 5,213 European-ancestry cases and 4,132 controls. We discovered, replicated, and validated a deletion in TPCN1 as a novel risk locus for LBD and detected the known structural variants at the C9orf72 and MAPT loci as associated with FTD/ALS. We also identified rare pathogenic structural variants in both LBD and FTD/ALS. Finally, we assembled a catalog of structural variants that can be mined for new insights into the pathogenesis of these understudied forms of dementia

Planeación de lavado unidireccional en redes de distribución de agua: una aproximación

Este proyecto tiene como objetivo desarrollar un algoritmo que pueda determinar si existe un plan de lavado para una red de distribución de agua potable, y de ser así indicar cómo se implementa en campo.Magíster en Ingeniería de Sistemas y ComputaciónMaestrí